System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
601	Section 4.4 Report Data Files Layout Report Data File Layout SI STATUS REPORT This file contains the data information of the SI Status Report. The record length is 353 bytes. Add to Reading List Source URL: www.hkex.com.hk Language: English ALGOL 68 X Window System C Software Computing Programming language theory
602	C++?? A Critique of C++ and Programming and Language Trends of the 1990s 3rd Edition Ian Joyner Add to Reading List Source URL: www.quinn.echidna.id.au Language: English - Date: 2013-12-02 18:22:25 Cross-platform software Programming paradigms Object-oriented programming C++ Eiffel Type system Programming language C Abstraction Software engineering Computing Computer programming
603	From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-10-21 10:40:17 Computing Models of computation Functional languages Program analysis Type system Standard ML Type safety Typed assembly language Lambda calculus Software engineering Type theory Programming language theory
604	A Module System for Scheme Pavel Curtis Xerox Palo Alto Research Center 3333 Coyote Hill Rd. Palo Alto, CA[removed]removed] Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 1998-08-18 14:05:58 Functional languages Cross-platform software Source code Lisp programming language Procedural programming languages Modula-3 Scheme Programming language Hygienic macro Software engineering Computing Computer programming
605	Product Documentation Embarcadero® AppWave™ Studio 2.0 User Guide Version 2.0 Add to Reading List Source URL: docs.embarcadero.com Language: English - Date: 2011-06-20 15:46:01 Delphi programming language Embarcadero Delphi Pascal Installation Application software Cloud clients Microsoft App-V Mobile application development Software System software Computing
606	The Checker Framework Manual: Custom pluggable types for Java http://checkerframework.org/ Version[removed]Mar[removed]For the impatient: Section 1.3 (page 12) describes how to install and use pluggable type-checkers. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2015-04-18 02:31:35 Programming language theory Computing Program analysis Type system Type inference Subtype polymorphism Lint Annotation Type theory Data types Software engineering
607	Toward a Practical Module System for ACL2 Carl Eastlund and Matthias Felleisen Northeastern University Boston, Massachusetts, U.S.A. {cce, matthias}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Holism ACL2 Formal methods Model theory Automated theorem proving Nqthm Common Lisp Modular programming Software engineering Computer programming Computing
608	How to report RubyMine performance problems and take CPU/memory snapshots This document is out of date, the new version is available at https://intellij-support.jetbrains.com/entries[removed]Reporting-performanceproblem Add to Reading List Source URL: devnet.jetbrains.com Language: English - Date: 2015-04-19 00:31:17 Ruby programming language RubyMine Computing platforms Java platform Snapshot Central processing unit Java virtual machine Operating system Java Computing Software Cross-platform software
609	Flexible Type Analysis Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:26 Programming language theory Mathematics Type constructor Type system Recursive data type Turn Constructor Ordinal numbers Curry–Howard correspondence Type theory Mathematical logic Data types
610	Age of Computers II—An Improved System for Game Based Teaching Asbjørn Djupdal∗ Lasse Natvig† Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:04:24 Java platform Java programming language DocBook Java Computer LaTeX Client E-learning Web server Computing Software Java applet

UPDATE